"..\..\Clousot\bin\debug\clousot" "@analyze.rsp" %1 %2 %3 %4 %5 %6 %7 %8 %9
